Modeling of critical systems implementing negative events using dual Petri nets
نویسندگان
چکیده
منابع مشابه
Modeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملmodeling of continuous systems using modified petri nets
due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. this paper employs modified petri nets (mpn) to model theses subsystems and makes it simple to analyze them. in this method, first, the continuous transfer function is converted to a discrete transfer function and then, by mpn, system is modeled and analyzed. all...
متن کاملModeling biological systems using Petri nets
Petri Nets (PNs) are used more and more, sometimes in combination with software like Cell Illustrator, to model (complex) biological systems, or networks. As a lot of extensions to PNs exist, it is possible to model different abstraction levels; from purely qualitative to quantitative. It is even possible to add quantitative data to a qualitative model using these different extensions of PNs. T...
متن کاملModeling Safety-Critical Systems with Z and Petri Nets
We show how to combine the specification notation Z with Petri nets for modeling safety-critical systems. The combination preserves the strengths of the two formalisms, while ameliorating their drawbacks. We illustrate our approach by modeling a part of a production cell and validating that model with respect to safety-related properties.
متن کاملPetri Nets and Discrete Events Systems
This paper provides an overview over the relationship between Petri Nets and Discrete Event Systems as they have been proved as key factors in the cognitive processes of perception and memorization. In this sense, different aspects of encoding Petri Nets as Discrete Dynamical Systems that try to advance not only in the problem of reachability but also in the one of describing the periodicity of...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: MATEC Web of Conferences
سال: 2018
ISSN: 2261-236X
DOI: 10.1051/matecconf/201822604001